Доказывание в уголовном судопроизводстве представляется имеющим как познавательную, так и логическую сущность. Собранная (познанная) информация об обстоятельствах предмета доказывания в пределах доказывания, используется позже во втором значении термина, в контексте логики и аргументирования решений по делу.
В данной работе для уравнения диффузии дробного порядка поставлена начально краевая задача и методом конечных разностей поставленная задача приближенно сведено к систему алгебраических уравнений. Применяя программный пакет Pyton найдено приблеженное решение поставленной задачи
XXI asr - texnologiyalar asri hisoblanadi. Shunday ekan o‘quv jarayonida turli zamonaviy axborot vositalaridan o‘rinli foydalanish, kompyuterli ta’lim jarayonida darslarni o‘quvchi-talaba va kompyuter orasidagi munosabatlarga ko‘ra tashkil etish, boshqarish, nazorat qilish bugungi kunda dolzarb masalalardandir.Tabiiy fanlar hamda texnika fanlarida uchraydigan ko‘pgina masalalar differensial tenglamalarga keltiriladi,ya’ni ularning analitik yechimini topish nihoyatda murakkab masala,shu sababli taqribiy yechish usullaridan foydalanish ko‘proq samara beradi.Bunday muammolarni hal qilish uchun esa matematik paketlar mavjud bo‘lib,ushbu maqolada differensial tenglamalarni Maple dasturida yechish haqida gap boradi.Ya’ni, birinchi tartibli chiziqli oddiy differensial tenglamani Maple dasturida analitik yechimini topish dasturi tuzilib natija olingan.
Аннатоция. В этой статье, сочетая метод итерации с теоретикочисловым методом дается приближенное решение следующей системы интегральных уравнений
указана оценка погрешности
.
Актуальность и востребованность темы диссертации. В мировой практике информатизации, системы электронного документооборота (СЭД) в последние годы рассматриваются и внедряются нс только как системы автоматизации процессов управления, но и как полноценные платформы для создания единого информационного пространства, что, безусловно, расширяет границы их использования и повышает к ним интерес со стороны научного сообщества. В исследованиях ведущих ученых сферы инфоком-муникацонных технологий выделяется востребованность задач достоверного сбора, передачи, анализа, кодирования информации при формировании документов делопроизводства для получения эффективных технологий, повышающих мобильность и производительность СЭД.
Комплексные меры, предпринимаемые Правительством Республики Узбекистан по развитию систем регионально-территориального автоматизированного управления и созданию единого информационного пространства, направлены на широкое внедрение информационных систем, СЭД, баз данных (БД) на основе современных информационно-коммуникационных технологий. В связи с этим, разработка новых методов интеллектуальной обработки информационных ресурсов, используемых для повышения качества передачи информации, позволяющих эффективно обнаруживать и исправлять ошибки в структуре электронного документооборота с наименьшими материальными и временными затратами, отличается особой актуальностью и, вместе с тем, остается нерешенной теоретической и прикладной проблемой, имеющей важное народно-хозяйственное значение.
Требования, предъявляемые к информационным ресурсам и потокам передачи данных, как важного фактора эффективности и качества функционирования СЭД выражаются в обеспечении стабильности, целостности, сохранности и достоверности информации. Одним из важных среди факторов является критерий достоверности информации, обусловливающийся искажением передаваемых сообщений в инфокоммуникационных сетях из-за сбоев и отказов технических средств, различного рода помех в каналах связи, ошибок операторов и систем сканирования, а также распознавания.
Следовательно, особый научный интерес представляет построение эффективных систем контроля достоверности передачи и обработки информации, как приоритетной технологии обработки данных, характерной для условий автоматизированного управления и электронного документооборота на предприятиях и в организациях.
Для существующих методов, несмотря на обеспечение высокого уровня достоверности передачи информации, характерен ряд нерешенных вопросов, в качестве основных из которых можно выделить следующие: при разработке технологий электронного документооборота в структуре пакетов передачи данных значительный объем ресурса расходуется на заголовки, вместе с тем большая часть информации заголовков остается неизменной на протяжении потока передачи целого кадра (возникающая при этом избыточность информации и механизмы обеспечения надежности доставки, заключающиеся, в основном, в послании соответствующего сообщения и повторной передаче пакетов, - приводят при обнаружении и устранении ошибок к дополнительным временным и материальным затратам); кодовые и аппаратурные методы контроля передачи информации ориентированы, в основном, на устранение в управляющих полях пакетов одно- и двукратных гранспозиционных ошибок, однако, при передаче данных возникают искажения в информационных полях, которые зачастую проявляются в виде текстовых ошибок более высокой кратности.
В этой связи, решение задач обеспечение достоверности передачи информации целесообразно рассматривать в двух аспектах.
При решении первого типа задач следует учитывать ошибки, вносимые оператором, сканирующими и другими устройствами, предназначенными для ввода информации. Такого вида ошибки составляют наибольший объем искажений текстовой информации и возникают на Прикладном и Представительском уровнях модели OSI (Open System Interconnection reference model).
Во втором типе задач контроля достоверности информации дополнительно учитываются вероятности искажений, возникающих на Транспортном, Сетевом, Физическом и Канальном уровнях OSI.
Восфсбованность диссертации характеризуется тем, что широкое внедрение IP-технологии в электронном документообороте связано с требующими пристального внимания задачами по обнаружению и устранению ошибок при подготовке и оформлении документов.
Данная исследовательская работа ориентирована на обеспечение реализации законов Республики Узбекистан “Об информатизации”, “Об электронной цифровой подписи”, “Об электронном документообороте”, “Об элек тронной коммерции”, “Об электронных платежах”, а также Постановления Кабинета Министров Республики Узбекистан № 126 от 04.05.2011 года «О мерах по внедрению и использованию единой защищенной электронной почты и системы электронного документооборота в исполнительном аппарате кабинета министров, органах государственного и хозяйственного управления, государственной власти на местах».
Исходя из этого, решение перечисленных задач требует проведения специальных исследований и разработок, связанных с созданием методов и алгоритмов, способных осуществлять контроль достоверности информации за счет использования вложенной избыточности, функционировать в сформированной транспортной среде и устранять существующие недостатки. Данное обстоятельство обусловливает необходимость выделения специального класса алгоритмов для обеспечения достоверности информации на основе нового тина PR-избыточности (property redundancy), определяющейся в зависимости от свойств обрабатываемого объекта.
Цель исследования разработка конструктивных методов, моделей, алгоритмов и систем контроля достоверности информации при передаче и обработке данных на основе механизмов использования PR-избыточности, а также их программно-алгоритмическая реализация при разработке технологий электронного документооборота.
Научная новизна диссертационного исследования заключается в следующем:
разработаны концепции, методологии и программно-алгоритмические основы построения методов, моделей и алгоритмов обеспечения достоверности информации в системах электронного документооборота, выделены классы объектов, характеризующиеся PR-избыточностью, применяемой для обеспечения точности, целостности, оперативности, сжатия, доступности информационных ресурсов в СЭД;
предложены методы и алгоритмы контроля достоверности информации за счет использования искусственной избыточности на основе механизмов линейного, модульного, плоскостного суммирований и определения принадлежности к закодированным подмножествам;
разработаны методы и программный комплекс контроля достоверности информации за счет использования естественной избыточности на основе алгоритмов статистического, арифметического, парсингового кодирования, n-граммного структурированного описания, статистического распознавания и хеширования элементов текстов;
предложены методы и алгоритмы конгроля и коррекции орфографических ошибок в текстах на узбекском языке на основе моделей многоуровневого морфологического анализа и описания п-граммной грамматики;
разработаны методы и алгоритмы конгроля достоверности информации за счет использования структурно-технологической PR-избыточности на основе вложенных логических критериев, баз данных и знаний в составе встроенных экспертных систем;
разработаны методы синтеза алгоритмов контроля достоверности информации в системе интерактивного обнаружения и исправления ошибок при разработке технологий электронного документооборота.
Заключение.
1. Разработанные в диссертации на основе концепций системного анализа, управления и обработки информации конструктивные методы, модели и программно-алгоритмические комплексы обеспечения достоверности информации по принципам использования PR-избыточности позволяют повысить эффективность и производительность СЭД.
2. Оценка современного состояния теории и практики кодовых, аппаратурных и программных методов контроля достоверности передачи информации показала недостаточность использования существующих типов избыточности для обеспечения качественного функционирования СЭД. Принципы использования PR-избыточности электронных документов при разработке прикладных методов и программно-алгоритмических комплексов обеспечения достоверности передачи информации позволили спроектировать инструментарий развития существующих технологий.
3. Методы: линейного, плоскостного и модульного суммирования; кодирования ио правилам Хаффмана, Лемпеля-Зива-Велча, Барроуза-Вилера, арифметического кодирования, статистического распознавания, логического контроля образуют методические основы использования PR-избыточности для расширения возможностей алгоритмов и программных комплексов обеспечения достоверности информации при составлении, передаче и обработке текстов электронных документов.
4. Установлено, что разработанные алгоритмы до 92% обнаруживают все виды ошибок, способны исправлять однократные, двукратные и смежные гранспозиционныс ошибки и ио сравнению с существующим методами снижают трудоемкость и стоимость процедур контроля в 2-3 раза при вероятности ошибок P ≈3 4⋅10−3 а также повышают достоверность информации до трех порядков. Оценки эффективности и решения задач контроля достоверности информации получены ио критерию вероятностей необнаружения ошибок.
5. Для решения задач контроля и коррекции орфографических ошибок в текстах на узбекском языке разработаны методы, алгоритмы и системы, включающие в себя морфологические и n-граммные структурированные модели. Разработанная методика получения частотных характеристик п-грамм на основе статистики вероятностных показателей искажений применяется при систематизации хеш-кодов для парсингового кодирования.
6. Интерполяционные и экстраполяционные методы построения логической и арифметической функции статистического распознавания применены при разработке алгоритмов контроля достоверности изображений элементов текста. Предложены методы контроля достоверности сигнальных характеристик изображений элементов текста в нейросетевой системе обработки информации, которая включает звенья автоматического распознавания и контроля сигналов изображений. Методы и алгоритмы реализуются в структуре системы контроля достоверности информации на основе определения принадлежности признаков и классификации объектов метатекста СЭД ио нечеткой семантической гиперсети.
7. Модели, алгоритмы контроля достоверности информации, основанные на методы словарного, статистического и хеш-кодирования, обеспечивают эффективное применение программно-аппаратной среды параллельных вычислений NVIDIA с использованием стандартных библиотек численного анализа, оптимизированного обмена данными между CPU и GPU.
8. Разработаны архитектура и идентифицированы способы описания программной оболочки системы контроля орфографии на основе древовидного представления n-граммной грамматики в среде фреймворк Сфинкс-4, реализующей программные модули для различных языковых моделей, использующих PR-избы сочность. Созданный вариант системы снижает число необнаруженных ошибок, стоимость реализации и трудоемкость по сравнению с системой контроля орфографии на основе морфологического анализа до двух порядков.
9. Разработанные моделирующие алгоритмы, комплексы программных средств и системы контроля достоверности информации на основе использования PR-избы сочности нашли практическое применение в системах автоматизированной организации учебной среды в ВУЗах; адаптированной передачи, обработки и анализа данных в инфокоммуникационных сетях; СЭД предприятий и учреждений.
10. Разработанные программные комплексы контроля достоверности информации в СЭД и компьютерная система адаптированной передачи, обработки, анализа данных внедрены в производственных условиях в Самаркандском филиале компании «УзТслском» Государственный Комитет связи, информатизации и телекоммуникационных технологий и в совместном предприятии «Лаззат-Мева», полученные соответствующие акты о внедрении подтверждаю! экономическую эффективность результатов диссертации.
В настоящей научной публикации предлагается решение задачи таксономии с помощью тестовым алгоритмом на основе разработанные авторами критерия качества 𝒦 таксономии.
Объекты исследования: технологии компьютерного обучения;
автоматизированные тренажерно-обучающие системы; технологические объекты управления сложными технологическими процессами и производствами.
Цель работы: разработка принципов, методов и способов построения когнитивных автоматизированных тренажерно-обучающих систем с расширенными функциями тестового контроля.
Методы исследования: аппарат математического моделирования процессов и аппаратов химической технологии, современная теория автоматического управления, принципы и методы когнитивного инжиниринга и статистической обработки данных.
Полученные результаты и их новизна. Научная новизна результатов диссертации заключается в том, что в ней проведено теоретическое обобщение и решение важной народно-хозяйственной задачи разработки научно-методической тренажерной платформы, реализующей типовую АТОС с расширенными функциями тестового контроля знаний в предметной области «Автоматизация производственных процессов», а также предназначенной для подготовки операторов технологических процессов и производств.
Практическая значимость состоит в том, что решение рассмотренных в диссертации задач позволяет эффективно проводить разработку и осуществлять практическое внедрение отвечающих современным требованиям АТОС для широкого класса процессов в химической, нефтеперерабатывающей, нефтехимической, промышленности строительных материалов и др. отраслях.
Степень внедрения и экономическая эффективность: Результаты исследований и разработок используются в: ОАО «Химавтоматика» (г. Ташкент), Ташкентском государственном техническом университете.
Область применения: Учебный процесс в технических и технологических вузах и в системе подготовки и переподготовки специалистов промышленных производств.
ЗАКЛЮЧЕНИЕ
В диссертации на основе теоретических и экспериментальных исследований выполнена разработка АТОС с расширенными функциональными возможностями профессионального отбора и тестирования психофизиологических характеристик оперативно-диспетчерского персонала промышленных предприятий.
В процессе выполнения диссертации получены следующие, новые теоретические и практические результаты:
1. В результате анализа существующих подходов к проблеме автоматизации профессионального отбора операторов построена модель тестирующей системы, что обеспечивает расширение функциональных возможностей системы в аспектах оценки профессиональной пригодности и подготовки операторов технологических установок.
2. Выявлены общие и специальные проблемы моделирования деятельности оператора в тренажерных комплексах. Выявлена и проанализирована структура, этапы проектирования и особенности реализации специального, информационного, математического, программного, технического и других видов обеспечения тренажеров сложных объектов.
3. Разработан метод автоматизированного тестирования оператора, учитывающий качество выполнения оператором технологических операций предписанного алгоритма и обеспечивающий комплексную оценку профессионально важных качеств человека-оператора. Данный метод позволяет автоматизировать процесс выставления оценки функциональной надежности оператора по результатам его реальной работы в пошаговом режиме, что повышает достоверность этой оценки.
4. Разработана методика профессионального отбора операторов; выявлены профессионально значимые психофизиологические и личностные качества, подобраны психодиагностические методики для их оценки;
5. Разработан алгоритм количественной оценки готовности оператора сложных технологических установок к выполнению задач профессиональной деятельности, характеризующийся повышенной прогностической способностью для оценки функциональной надежности человека-оператора. Предложенный алгоритм позволяет организовать учет двух основных составляющих функциональной надежности оператора: структурные особенности процесса операторской деятельности (по нормированным коэффициентам стереотипности и логической сложности) и динамику изменения функционального состояния оператора в процессе деятельности (по временным параметрами типологических действий оператора). Данный алгоритм программно реализован на языке программирования Borland Delphi.
6. Разработано программное обеспечение автоматизированной тестирующей психофизиологической системы для оценки профессиональной пригодности и подготовки операторов сложных технологических установок. Данная система обеспечивает возможность получения объективных данных как констатирующего характера (проверка функциональной надежности оператора), так и прогнозирующего характера (предсказание возникновения нежелательных состояний как причин снижения эффективности его деятельности).
7. Разработана многофункциональная тестовая оболочка «Prof Tcst», представляющая собой программное средство для ведения редактирования базы тестовых заданий, регистрации результатов тестирования, а также оценки профессиональной пригодности операторов на стадии подготовки и переподготовки специалистов по предметной области «Автоматизация технологических процессов и производств».
8. Получена модель профессиональной пригодности с помощью знакового метода анализа данных выявлено, что операторов, работающих на технологических установках можно разделить на две категории: «успешно пригодных» и «условно пригодных».
9. Выполнен расчет экономической эффективности проведения профотбора операторов-технологов, основанный на использовании статистического пакета прикладных программ Sign. Установлено, что экономическая эффективность внедрения профессионального отбора многократно превышает затраты на его проведение.
Решения играют важную роль в жизни человека. А управленческие решения — это ядро управления. Руководителю предприятия необходимо учитывать все факторы, влияющие на принятие решения, когда он берет на себя ответственность за принятие управленческих решений. В связи с этим в данной статье представлены теоретические основы принятия управленческих решений.
В статье на основе анализа материалов, помещенных в “Туркестанском сборнике”, сопоставления их с другими источниками, в частности архивными документами и статистическими материалами, раскрывается процесс превращения Ферганской долины в основную хлопковую базу Российской империи. На основе исторических фактов делается вывод, что в конце ХХ – начале ХХ века в сельском хозяйстве Ферганской долины хлопок превратился в монокультуру, что было обусловлено потребностями обеспечения текстильной промышленности России дешевым сырьем.
Данная статья анализирует основные барьеры на пути начала предпринимательской деятельности на примере студентов и выпускников ВУЗов Узбекистана. На основе ранее сделанных исследований зарубежных коллег были определны основные барьеры, с которыми сталкиваются предприниматели, в том числе и молодые предприниматели по всему миру. На основании изученной литературы и используемой методолгии автором был составлен онлайн опросник с использованием многовариантными вопросами, разделенный на несколько секторов. В качестве возможного решения для минимизации последствий предпоалагаемых барьеров респондентам было предложено рассмотреть готовность использования краудфандинговых платформ с целью сбора средств собственных проектов, а также финансирования проектов других молодых предпринимателей. Результаты регрессионной модели и статистических данных позволили сделать выводы, которые законодатели смогут учесть в рамках проводимой политики поддержки молодого предпринимательства в Узбекистане.
В настоящей статье рассмотрены и проанализированы новеллы в законодательстве Республики Узбекистан о технопарках. В частности, автором отмечены некоторые проблемные аспекты деятельности субъектов инновационной деятельности во вновь создаваемых отечественных технопарках, решение которых заключается в совершенствовании договорно-правовой базы в этой сфере.